every cauchy sequence is convergent